81. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
المؤلف: Edited by Harmut Ehrig...]et al.[
المکتبة: (طهران)
موضوع: Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
82. Mathematical foundations of software development
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
83. Mathematical methods of specification and synthesis of software systems '85 : Proceedings
المؤلف: edited by W. Bibel and K.P. Jantke
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
215
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
84. Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
المؤلف: edited by W. Bibel and K.P. Jantke
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Computer software - Development
رده :
QA
76
.
L4
v
.
215
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
85. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
المؤلف: Alan Hartman, David Kreische )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
86. Model driven engineering languages and systems
المؤلف: Andy Schürr, Bran Selic (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,UML (Computer science), Congresses
رده :
QA76
.
76
.
D47
M6258
2009eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
87. Model-driven engineering languages and systems :
المؤلف: Ana Moreira [and 4 others] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Model-driven software architecture, Congresses,Model-integrated computing, Congresses
رده :
QA76
.
76
.
D47
M63
2013
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
88. Model driven engineering languages and systems : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings
المؤلف: Lionel Briand, Clay Williams )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3713
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
89. Modelling foundations and applications
المؤلف: / Thomas Keuhne ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer architecture--Congresses,Software engineering--Congresses,Object-oriented programming (Computer science)--Congresses,Conception assistaee par ordinateur en gaenie logiciel--Congr?es.--ram,Modellgetriebene Entwicklung--swd,Modelltransformation--swd,Metamodell--swd,Entwurfssprache--swd,Anwendungssystem--swd,Paris <2010>--swd
رده :
QA
,
76
.
76
,.
D47
,
E762
,
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
90. Models in software engineering
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
![](/design/images/bookmore.png)
91. Models in software engineering
المؤلف: Jörg Kienzle (ed.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Model-integrated computing, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
M63
2011eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
92. Models in software engineering
المؤلف: / Thomas K?�hne (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Software engineering--Congresses,UML (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
M6257
,
2006a
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
93. New modeling concepts for today's software processes
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; Softwareentwicklung. ; swd. ; Prozessmanagement. ; swd. ; Leistungsbewertung. ; swd. ;
![](/design/images/bookmore.png)
94. New modeling concepts for today's software processes
المؤلف: / Jeurgen Meunch, Ye Yang, Wilhelm Scheafer (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Software engineering--Congresses,Softwareentwicklung.--swd,Prozessmanagement.--swd,Leistungsbewertung.--swd,Paderborn <2010>--swd
رده :
QA
,
76
.
76
,.
D47
,
I559
,
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
95. New trends in software methodologies, tools and techniques :proceedings of the fourth SoMeTW 05
المؤلف: edited by Hamido Fujita and Mohamed Mejri
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(,Congresses ، Artificial intelligence,Congresses ، Computer software - Development
رده :
QA
76
.
758
.
I5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
96. Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Object-oriented programming )Computer science(-- Congresses,، Object-oriented databases-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
64
.
I55
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
97. Open source development, adoption and innovation
المؤلف: edited by Joseph Feller ... [et al].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Open source software, Congresses.,Shareware (Computer software), Congresses.
![](/design/images/bookmore.png)
98. Open source systems :
المؤلف: edited by Ernesto Damiani ... [et al.]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Open source software, Congresses
رده :
QA76
.
76
.
S46
I67
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
99. Open source systems :
المؤلف: Francis Bordeleau, Alberto Sillitti, Paulo Meirelles, Valentina Lenarduzzi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Open source software, Congresses.,Computer software-- Development.,Open source software.
رده :
QA76
.
76
.
S46
I67
2019
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
100. PASTE'07 : proceedings of the 2007 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools & Engineering, San Diego, California, USA, June 13-14, 2007
المؤلف: sponsored by: ACM SIGPLAN & ACM SIGSOFT; and supported by: Center for Software Excellence, Microsoft Corporation
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)